Salah Sadou

Based on an experiment using three languages under .NET, this paper argues that the semantic di erences between these languages regarding method overloading and overriding give rise to signi cant complexity and break encapsulation. We rst recall the various interpretations of overriding and overloading in object oriented languages through what we call language signatures. Then, we perform an experiment with .NET components coded in di erent programming languages in order to observe the global behavior. From this, we show that overriding and overloading are not compatible with a key property of components: encapsulation. We conclude that, in the current state of the art, in order to build predictable assemblies, components must expose their internal structure! We propose a solution to this problem.